Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
101	Characteristic Formulae for Session Types Julien Lange and Nobuko Yoshida Imperial College London Abstract. Subtyping is a crucial ingredient of session type theory and its applications, notably to programming language i Add to Reading List Source URL: mrg.doc.ic.ac.uk Language: English - Date: 2016-08-22 17:55:56 Software engineering Computability theory Object-oriented programming Polymorphism Subtyping Type theory Theoretical computer science Characteristic function Lambda calculus Computing
102	Unique Sink Orientations of Grids ? Bernd G¨artner1 , Walter D. Morris, Jr.2 , and Leo R¨ ust3 Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2016-06-20 11:55:09 Graph theory Mathematics Geometry Convex optimization Operations research Linear programming Polytopes Unique sink orientation LP-type problem Orientation Simplex Ear decomposition
103	Designing a verifying compiler: Lessons learned from developing Whiley Add to Reading List Source URL: homepages.ecs.vuw.ac.nz Language: English - Date: 2015-11-05 20:25:54 Software engineering Computer programming Computing Data types Functional languages Type theory Procedural programming languages Whiley C++ Const Recursion Java bytecode
104	Structural approximation Boris Zilber University of Oxford March 5, Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2010-03-05 10:02:06 Mathematics Model theory Abstraction Structure General topology Type Topological space Constructible universe Filter Ring Ultraproduct Metric space
105	International Trade and Investment Country Facts Data Availability Checkmark denotes data are available. The level of detail available by type (column) varies by country (row). See additional notes at the bottom of the t Add to Reading List Source URL: www.bea.gov Language: English - Date: 2016-07-19 09:32:16 Economy International trade Economic geography Foreign direct investment International business International development Trade in services statistics Value-added tax Springboard Theory
106	Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Language: English - Date: 2016-08-01 05:50:10 Software engineering Declarative programming Data types Computing Type theory Functional programming Object-oriented programming Polymorphism Map Ordinal number Boolean data type CurryHoward correspondence
107	BHP Additional Variables Different establishment variables from the Establishment History Panel (BHP) are available for following data sets: ALWA-ADIAB - ALWA survey data linked to administrative data of the IAB ........ Add to Reading List Source URL: doku.iab.de Language: English - Date: 2016-08-16 22:40:01 Data types Software engineering Computing Type theory Variable Record C++ classes
108	Deriving Generic Functions by Example Neil Mitchell University of York, UK http://www.cs.york.ac.uk/~ndm/ Abstract. A function is said to be generic if it operates over values of Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Functional programming Data types Programming language comparisons Type theory Higher-order functions Fold Generic programming Map Type class
109	Fuzzing the Rust Typechecker Using CLP Kyle Dewey Jared Roesch Ben Hardekopf Add to Reading List Source URL: jroesch.github.io Language: English - Date: 2016-04-16 20:16:50 Software engineering Type theory Computing Programming language theory Type system CurryHoward correspondence Typed lambda calculus Simply typed lambda calculus Type rule Type safety Typing environment Go
110	From ML to program proof or: The continuation of functional programming by other means Xavier Leroy INRIA Paris-Rocquencourt Milner symposium, Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:03 Software engineering Programming language theory Type theory Computing ML Type inference Polymorphism Type system Type class HindleyMilner type system Ad hoc polymorphism OCaml

UPDATE